Debugging Systemc With Time Travel Debugging